Versions:
Pyrefly is a Python-focused developer tool from Meta that combines a static type checker with a language server, placing it in the category of programming language tooling, static analysis, and IDE integration software. Its stated purpose is to provide lightning-fast type checking while also supplying editor features that support everyday Python development, including code navigation, semantic highlighting, and code completion. The software is suitable for use cases in which Python code needs automated type analysis alongside interactive editing assistance, such as navigating symbols in a codebase, distinguishing program elements through semantic highlighting, completing identifiers while writing code, and running checks from a terminal or build-oriented workflow. Pyrefly is available both as a command-line tool and as an extension for popular IDEs and editors, explicitly including VSCode, Neovim, Zed, and more, which allows the same type-checking and language-server functionality to be used across editor-centric and command-line environments. The current catalog version is 1.2.0, and the catalog indicates that two versions are present, so version 1.2.0 should be treated as the latest listed release rather than the only available entry. As a Meta-published tool described as a fast type checker and language server for Python, Pyrefly is relevant to developers and teams looking for Python type checking connected to common editing features, with distribution oriented toward both direct CLI execution and integration inside widely used editors. No supported platforms beyond the named editors, licensing terms, installation channels, runtime requirements, or additional release details are specified in the provided data.
Tags: